こっとん; "様相論理の近傍意味論はS4 フレームなら位相空間論の意味での「近傍系」になる話!"
https://cottonshampoo.notion.site/S4-ffe6c340c31c443b871ab8dffc269445